open structures

// ------------------------------------------------------------
//  Port Signatures
// ------------------------------------------------------------

abstract sig S_JavaInterface extends S {}
one sig S_InventoryItf extends S_JavaInterface {}

abstract sig S_SockType extends S {}
one sig S_SSL extends S_SockType {}
sig S_SocketFactoryProv extends S {
	sockType: S_SockType
}

abstract sig S_RMI extends S {
	javaSig: S_JavaInterface,
	sockType: S_SockType
}
